3

Cyber-Physical Systems

Year:
2017
Language:
english
File:
PDF, 176 KB
english, 2017
8

Problems on automation of computer and system design

Year:
1970
Language:
english
File:
PDF, 905 KB
english, 1970
9

Computations in APS

Year:
1993
Language:
english
File:
PDF, 1.66 MB
english, 1993
15

The development of a partial evaluator for extended lambda calculus

Year:
1997
Language:
english
File:
PDF, 1.94 MB
english, 1997
16

A general theory of action languages

Year:
1998
Language:
english
File:
PDF, 2.35 MB
english, 1998
29

Glushkov’s evidence algorithm

Year:
2013
Language:
english
File:
PDF, 104 KB
english, 2013